1. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
2. Agent technology from a formal perspective
پدیدآورنده : edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Intelligent agents )Computer software(,Design ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
76
.
I58
A36
2005
3. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
4. Agent technology from a formal perspective
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Intelligent agents (Computer software) ; Design. ; Formal methods (Computer science) ;
5. Formal models of agents
پدیدآورنده : John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Intelligent agents (Computer software)
6. Formal models of agents : ESPRIT Project ModelAge final Workshop : selected papers
پدیدآورنده : John-Jules Ch. Meyer, Pierre-Yves Schobbens )Eds.(
کتابخانه: (طهران)
موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1760
7. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin - Keplicz, Rineke Verbrugge
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence
رده :
QA
،
76
.
76
،.
D8
،
2010
8. Teamwork in multi-agent systems
پدیدآورنده : / Barbara Dunin-Keplicz, Rineke Verbrugge
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence,Electronic books., local
رده :
QA76
.
76
.
I58D98
2010
9. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin-Keplicz, Rineke Verbrugge.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Formal methods (Computer science),Intelligent agents (Computer software)
10. Teamwork in multi-agent systems : a formal approach
پدیدآورنده : Dunin-Keplicz, Barbara.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(,، Artificial intelligence
رده :
QA
76
.
76
.
I58
D98
2010